T DR AF Probabilistic Model Checking for Systems Biology

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Linear temporal logic
• Fibroblast growth factor receptor
• Cell biology
• Markov chain
• Markov decision process
• Computation tree logic
• Fibroblast growth factor
• Probabilistic CTL
• Probability

INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Mathematical logic
• Theoretical computer science
• Finite model theory
• Linear temporal logic
• Symbol
• FO
• Constructible universe
• IP
• Computation tree logic
• Model theory
• Mathematics

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Source URL: pub.ist.ac.at

• Mathematical analysis
• Probability theory
• Statistical theory
• Evolutionary developmental biology
• Gene expression
• Gene regulatory network
• Networks
• Systems biology
• Linear temporal logic
• Normal distribution
• Model theory

Complexity of Model-Checking Call-by-Value Programs Takeshi Tsukada1,2 and Naoki Kobayashi3 1 2

Source URL: www.kb.is.s.u-tokyo.ac.jp

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Source URL: www.cs.rhul.ac.uk

Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

Source URL: i12www.ira.uka.de

Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

Source URL: i12www.ira.uka.de

Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

Source URL: user.it.uu.se

Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

Source URL: www.cs.bham.ac.uk